A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services
نویسندگان
چکیده
FLOWS is a first-order logic ontology for Web services and a W3C Submission. In this article, we describe some of the motivation behind the development of FLOWS, together with its key features.
منابع مشابه
Special Issue on Semantic Web Services: Composition and Analysis
FLOWS is a first-order logic ontology for Web services and a W3C Submission. In this article, we describe some of the motivation behind the development of FLOWS, together with its key features.
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملControlled Natural Language meets the SemanticWeb
In this paper we present PENG-D, a proposal for a controlled natural language that can be used for expressing knowledge about resources in the Semantic Web and for specifying ontologies in a human-readable way. After a brief overview of the main Semantic Web enabling technologies (and their deficiencies), we will show how statements and rules written in PENG-D are related to (a subset of) RDFS ...
متن کاملResearch of Semantic Web Model and Reasoning Based on F-Logic
In order to model context in pervasive computing environments, and support logic-based context reasoning, a core ontology modeling framework for OWL-S(Ontology Web Language for Services) and a reasoning mechanism using F-logic are proposed in this paper. It analyzes the construction of OWLS model type, gives F-logic axioms, derivation rules and methods to check the consistency and satisfiabilit...
متن کاملA Temporal Aggregates Ontology in OWL for the Semantic Web
In this paper we describe our approach for representing temporal aggregates in OWL, as an extension to the initial version of the OWL-Time, a temporal ontology for describing the temporal content of Web pages and the temporal properties of Web services. We represent the temporal aggregates ontology in both first-order logic axioms and OWL encodings. We also present several examples in detail to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Data Eng. Bull.
دوره 31 شماره
صفحات -
تاریخ انتشار 2008